1. Algebra, mathematical logic, number theory, topology
المؤلف: editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
2. Algebra, mathematical logic, number theory, topology
المؤلف: editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
المکتبة: (طهران)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
P736
Vol
.
168
3. Algebra, mathematical logic, number theory, topology, Algebra, matematicheskaia logika, teoriia chisel, topologiia
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
4. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
5. Foundations of Logic and Mathematics
المؤلف: by Yves Nievergelt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
6. Foundations of logic and mathematics: applications to computer science and cryptography
المؤلف: Nievergelt, Yves
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
7. Foundations of logic and mathematics : applications to computer science and cryptography
المؤلف: Nievergelt, Yves
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
8. Foundations of logic and mathematics : applications to computer science and cryptography
المؤلف: Nievergelt, Yves, 4591-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
9. Logic, Mathematics, and Computer Science.
المؤلف: \ Yves Nievergelt
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
10. Logic and arithmetic
المؤلف: Bostock, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Arithmetic-- Foundations,، Logic, Symbolic and mathematical,، Number theory
رده :
QA
248
.
B725
11. Logic and arithmetic.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
رده :
QA248
.
B725
12. Logical number theory : an introduction
المؤلف: Smorynski, C
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Number theory,، Logic, Symbolic and mathematical
رده :
QA
241
.
S614
1991
13. Logical number theory I:an introduction
المؤلف: Craig.Smorynski
المکتبة: (کرمان)
موضوع: Number theory,Logic symbolic and mathematical
رده :
QA
241
.
S614
14. Logical number theory I:an introduction
المؤلف: Craig.Smorynski
المکتبة: (کرمان)
موضوع: Number theory,Logic symbolic and mathematical
رده :
QA
241
.
S614
15. Logical number theory : an introduction
المؤلف: Smorynski, Craig
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Number theory
رده :
QA
9
.
S57
16. Martin Davis on computability, computational logic, and mathematical foundations
المؤلف: Eugenio G. Omodeo, Alberto Policriti, editors
المکتبة: (طهران)
موضوع: ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
رده :
QA
241
.
M38
17. Proof, logic, and conjecture :
المؤلف: Robert S. Wolf.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
18. Proof, logic, and conjecture : the mathematician's toolbox
المؤلف: Wolf, Robert S.
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
19. Reading, Writing, and Proving :
المؤلف: by Ulrich Daepp, Pamela Gorkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
